#+LaTeX_CLASS: org-book
#+LATEX_HEADER: \usepackage[ngerman,USenglish]{babel}
#+LATEX_HEADER: \selectlanguage{USenglish}
#+LATEX_HEADER: \usepackage{ulem}
#+LATEX_HEADER: \usepackage{hyperref}
#+LATEX_HEADER: \usepackage{amsmath}
#+LATEX_HEADER: \usepackage{mathtools}
#+LATEX_HEADER: \usepackage{fontspec}
#+LATEX_HEADER: \usepackage{caption}
#+TITLE: Notes
#+AUTHOR: 杨小龙
#+DATE: \today
#+LANGUAGE:  en
#+LINK_HOME: https://gitlab.com/ZelphirKaltstahl/how-to-prove-it-notes
#+EXPORT_SELECT_TAGS: export
#+EXPORT_EXCLUDE_TAGS: noexport
#+STARTUP: overview

* About this document

This document contains notes (more refined and not so much refined) and explanations from reading and thinking about the content of the book /How To Prove It - A Structured Approach - Second Edition/ by /Daniel J. Velleman/.


* Appendix

TODO

* Export                                                           :noexport:

** Clear TeX Files

#+begin_src sh :results silent
rm notes.aux
rm notes.log
rm notes.toc
rm notes.out
rm notes.tex
rm notes.xdv
rm notes.fls
rm notes.fdb_latexmk
rm notes.bbl
rm notes.blg
#+end_src

#+RESULTS:

** Org --> TeX

#+begin_src elisp :results silent
;; (org-latex-export-to-latex &optional ASYNC SUBTREEP VISIBLE-ONLY BODY-ONLY EXT-PLIST)
(org-latex-export-to-latex t nil)
#+end_src

** TeX --> PDF

#+begin_src sh :results silent
# -f to force continuation when errors occur
latexmk -xelatex notes.tex
#+end_src
